implement assertions