F(x,y)


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




78