STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)