20 01 27 Henessy Necessary Constraints