Henry patted himself on the back for having done it.

• 亨利庆幸自己做了那件事。