Add @requires.