  We establish the following input independence principle. If a quantum circuit
$\mathcal C$ computes a unitary transformation $U_\mu$ along a computation path
$\mu$, then the probability that computation of $\mathcal C$ follows path $\mu$
is independent of the input.
