Ithiel de Sola Pool quotes