Meet closures
Plot improvements
Disjunction example
Outline copy for paper
New figures