Necessary Constraints W Henessy

.