Probabilistic theories with purification | Synapse