  and this is what Boole used in MAL. Unfortunately this is a weak elimination result for Boole’s algebra. One finds, using the improved reduction and elimination theorems of LT, that the best possible result of elimination is