A happy man holding a gavel .