We must replace mention of equivalence, incompatibility, and necessity in laws through by mention of their syntactic substitutes in the chosen system: inter deducibility, deductive inconsistency, and deducibility.