MAYBE

Problem:
 a(a(delta(),x),y) -> a(y,a(x,y))

Proof:
 Open