World-wide-web Proxies Defined