The life of George Boole.