Probabilistic_System_Zoo.Finitely_Bounded_Set_Counterexample