To the left are models for probabilistic systems.