La diferencia entre lo que es, y lo que necesariamente es, se establece con las siguientes relaciones lógicas: "Lo necesario es (del verbo existir), pero puede incluir lo posible como necesariamente condicionado (aunque no exista lo posible); pero implica contradicción con lo contingente y es (del verbo ser) lógicamente contrario a lo imposible."