First commit of ModelCheckingWithXText.html