Revert "Replaced #IMPLIED with #REQUIRED"

This reverts commit cbc62ea7e45dff3bca04c000453030643be4b73a.