Here I will take the opportunity to say something about how Church's system, criticized above for its unexplained hierarchies (say of material conditionals), each of which denotes the sense of the previous one, should be recast.