Anti-Vietoris--Rips metric thickenings and Borsuk graphs | Synapse