logic.ml 11.9 KB