Verifying STLs are correct.