added general assertion primitives