logic.ml 13 KB