He used to be industrious.

• 他过去很勤奋。