F(x,y)


           f(a) ⊃ f(b)       f(a) ⊃ f(a)
                           f(2 + 2). ⊃ .f(4)




78