Reflect4 Proxies Better (Proven)