Sort assertions extended