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