"It seems to me that we are headed straight towards what C. L. Siegel called 'the theory of the empty set.'"