MAYBE

Problem:
 p(a(x0),p(x1,p(x2,x3))) -> p(x1,p(x0,p(a(x3),x3)))

Proof:
 Open