A Mathematician’s Lament 1