TwoServers Example editted to match new notations