Assertions and equality