⁵Note that we didn’t assume any privacy properties from the VPN, and was only used for routing purposes.