The man holding the gavel is happy.