Subtraction is functionally complete
https://orlp.net/blog/subtraction-is-functionally-complete/
#ycombinator