The evidence of absence: galaxy voids in the excursion set formalism