all assert methods are implemented and tested