@jack I love it :) Reminds me of this explainer on combinatory logic: https://wiki.xxiivv.com/site/logic.html
@neauoire @jack Or the Byrne edition of Euclid's Elements
@neauoire @jack Or the Byrne edition of Euclid's Elements