Corollary: Influence is contained in scheduled ancestry

The inclusion need not be equality.

Proof. Theorem thm:schedule excludes influence outside the scheduled ancestors. For strict inclusion, a decoder can have a scheduled memory input but return the constant answer $0$. The memory input is then a scheduled ancestor with no actual influence on the answer.