Figure 1: Determining conformance with the STL.