simple assertions written