this can be typed as if (!$user)