Encyclopædia Britannica, Ninth Edition/Augustus De Morgan