 The two principal augmentations to Boole’s system that produced a recognizably modern logic were (a) the introduction, in addition to one-placed predicates (“x is mortal”), of many-placed relations (“x is the brother of y”; “x lies between y and z”); and (b) the introduction of a notation for universal and existential quantification. 