to pronounce punishment