The point is: that the process of reasoning by which we || arrive at the result that a – b – a – p … is the same symbol as a – p … , is exactly the same as that by which we discover that its meaning is the same, viz. where we reason if b – apb – a then not apb, if a – b – ap then not b – apb, :. if a – b – ap¤ then apb.