Must check that `$_SESSION[ 'user' ]` is defined.