Positivity bounds in vector theories | Synapse