" *The* user can be logged out by using *the*"