Testing the assertion