Solving the protein sequence metric problem | Synapse