back [alt+←]
17

Partial order and non-Boolean logic in programming by Words and Buttons...