#model checking