Why is the variable called `user` if it holds an `Account`?