isAuthenticated()) { $user = $cas->authenticate(); echo 'Authenticated as '.$user->user; } else { echo 'Not authenticated. Log in'; }