logic.ml 8.19 KB