Add @requires