user(); abort_if($user === null, 401); return $user; } }