Doing the test using a postulate