Writing the assertions