Pronounce secondment. Proof movie. Propagation checker. Proof by mathematical induction.