Model checking (28/30)

Model checking