Su análisis, centrado en la definición de la implicación necesariamente lógica, "vyapti", conocida también como concomitancia o penetración invariable.