He need not leave.

• 他不必走。