MAYBE

Problem:
 f(f(f(f(j(),a),b),c),d) -> f(f(a,b),f(f(a,d),c))

Proof:
 Open