Categorical abstract machine
 
x
OK