Cogency

The inductive counterpart of soundness, and the extra requirement it has to carry