Añadidos @requires