MAYBE

Problem:
 a(b(x)) -> b(b(a(x)))

Proof:
 Open