George Boolos on humansmap.com →