|entries|model-theory|