  We formalize Salih et al's Counterfactual Communication Protocol (arXiv2018),
which allows it not only to be used in with other modes than polarization, but
also for interesting extensions (e.g. sending superpositions from Bob to
Alice).
