He must be joking.

• 他一定是在开玩笑。