A sad story in which everyone was happy.