The abundance of voids and the excursion set formalism | Synapse