He originally should leave.

• 他本该走了。