2.3 Assertions