Still messing with the damn model checking.