A-equivalence
 
x
OK