Interface DefaultableUnaryRequirement