back [alt+←]
10

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