# he applied his mind
"he thought very hard about how"
# He labored
This refers to mental labor, rather than to physical labor.