simpler assertion