Proof by mathematical induction. Pronome proclítico. Propagation checker.

Pronounce known.