Negative Type and Bi-lipschitz Embeddings into Hilbert Space | Synapse