Implied Requirement