proper HAVCR.Proxy test, at last!