Les difficultés redoublent si l'on considère des textes très importants où Leibniz présente l'implicite ou le virtuel, non plus comme le propre des inclusions d'existence, mais déjà comme un type d'inclusion d'essence : ce sont les propositions nécessaires qui se divisent en cas d'inclusion expresse ("2 et 2 sont 4"), et en cas d'inclusion virtuelle ("tout nombre duodénaire est sexaire"). (57)
