add @requires