Redrawing ((A->(B->C))->(B->(A->C)))