Boolos_SOL.pdf