nyaya: entailment + equivalence