 Boole went beyond the foundations of symbolical algebra that Gregory had used in 1840—he added De Morgan’s 1841 single rule of inference, that equivalent operations performed upon equivalent subjects produce equivalent results.