this is simple code tu unify 2 functions for ex: P(x,y,F(a,b)) and P(r,t,u) unify to ==> P(r,t,u) or P(x,t,u) or .....