back [alt+←]
50

Hyperproperties in programming by Computer Things