Modal_clausal_form loading ...