não, supostamente, sendo o passo sobre "My profile page", é de assumir que ele já teve que fazer login antes, por isso o `@user` ja devia estar definido