//Proxy_Forall_GP