Service Login (uri) → let s=f indService (uri) if s=0 then error ("Service not supported ") in str := 0 else if s € services V's a uth Service e log in s then redirect (uri) .