Where does `$users` come from?