In Not in

These two are enough to build a programming language