Whose work with metaphysics would come to define the notion of empty space