Before revision: There exists a Stochastic matrix such that : that is, is a garbling of .
After revision: There exists a stochastic map such that : that is, is a garbling of .