renamed assertions