isset( $_SESSION[ 'user' ] ), otherwise will raise warning