asserting error conditions