Input: No, it is with Alice and not Tim.
Output: user