"That is easier than you might suppose. For as Dr. Leibniz has pointed out, the rules need not be complicated. The Doctor has written out a system for conducting logical operations through manipulation of symbols, according to certain rules; think of it as being to propositions what algebra is to numbers."