Home/Crosswords/WSJ/Logician John, of diagram fame