vocd: A theoretical and empirical evaluation | Synapse