George Boole was the model for Arthur Conan Doyle’s Professor Moriarty — true or false?