add an assert