STL: Still Tricky Logic (for System Validation, Even When Showing Y our Work) Isabelle Hurley