Standard assertion