Assertions require description