He would not otherwise have been happy.