Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.