PC1 uses 192.168.10.1 as its gateway, but no router owns that address yet. R1 and R2 share it as a virtual IP. R1 is preferred; when its uplink fails, R2 takes over. VRRP is a standard, so Cisco and Huawei routers can form one group. OSPF already runs on all three routers.