Positivity bounds on massive vectors | Synapse