more info on assertions