back [alt+←]
32

Hyperproperties in programming by Computer Things