back [alt+←]
43

Formally modeling dreidel, the sequel in programming by Computer Things