User blog comment:LittlePeng9/First order oodle theory/@comment-24509095-20141102140220/@comment-2033667-20141102193250

Likewise we can use Polish notation, we can remove the = operator (since I would expect oodles to respect extensionality), and we can have NAND as the only Boolean operator.