Some time ago Professor Prior circulated some typewritten notes due to Mr. C. A. Meredith on logical questions. These were written in the Polish notation and Professor Prior kindly translated those on equational logic into a symbolism more familiar to us. How much of the present paper was actually in those notes, it would now be impossible to say, but they introduced us to the subject and inspired this paper which, without them, would not have been written.