Corrected semantics of tests