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

https://news.ycombinator.com/item?id=37800062