Assertions (1)