et="_blank">2019-11-18-depth-bound.ipynb</a></li><li><a href="../notes/2019-11-21-skolemize-test.ipynb.html" target="_blank">2019-11-21-skolemize-test.ipynb</a></li><li><a href="../notes/2019-11-25-export-normalize-isles.ipynb.html" target="_blank">2019-11-25-export-normalize-isles.ipynb</a></li><li><a href="../notes/2019-11-27-afterfix-export-normalize-isles-refine.ipynb.html" target="_blank">2019-11-27-afterfix-export-normalize-isles-refine.ipynb</a></li><li><a href="../notes/2019-11-27-export-normalize-i