apply(apply(t(),X),Y) -> apply(Y,X)
apply(apply(apply(b(),X),Y),Z) -> apply(X,apply(Y,Z))