Figure 1:
Determining conformance with the STL.