Implemented assertions