use an assert