BiSimulation

Hide out cut (Inst.)