Input: Can you find the reports of David Lax?
Output: user