add some helpful assertions