20 01 27 Henessy Necessary Constraints

Date: December 18, 2024