The socratic method proves her hole's emptiness