Probabilistic_System_Zoo.Bool_Bounded_Set