(F12(a,ba+b+12;z))2=F23(2a,2b,a+ba+b+12,2a+2b;z).