this means adding a @requires