Switched pragmatics test to assertNoProof