Conan Doyle based Professor Moriarty on George Boole, true or false?