assert some things