 Foulis and Randall show that no such embedding exists for which \(\mathcal{B}\) is orthocoherent. Indeed, suppose we have a test space \(\mathcal{B}\) and an embedding satisfying conditions (a) and (b). Consider the set of outcomes 