added bool Proxy::operator != (Proxy) const;