logic.ml 19.7 KB