Precision cosmology with voids: definition, methods, dynamics | Synapse