3 ms·

Ask that guy. I would guess it is none of the three, i.e. he did not deduct a salary for him, but I really do not know.