Rearrange assertions