fix polarity for satisfaction of requirement