Braid groups are linear | Synapse