 Leibniz also targets the possibility of there being more than one void. If there could be more than one void, then there could be two voids of exactly the same shape and size. These two voids would be perfect twins; everything true of one void would be true of the other. This is precluded by the principle of the identity of indiscernibles: if everything true of x is true of y, then x is identical to y.