What philosopher said this? "Is life not a hundred times too short for us to bore ourselves?"