Henessy Necessary Constraints