The barriers for abstraction and exchange in H+HCl | Synapse