A happy man holding a gavel.