Updating True contract in Requires