make assertions more explicit