diff -r c47efadcaee1 -r b794db0b79db BooleanGrammar/locally_stratified_boolean_algebra.pdf
Binary file BooleanGrammar/locally_stratified_boolean_algebra.pdf has changed