Una descripción adecuada según él daría un universo leibniziano: los indiscernibles no serían admitidos y cada diferencia debería corresponder a alguna otra diferencia, como lo haría el principio de razón suficiente.