add theorem for lower bound of agl and highlight that asymmetric tie-breaking and partitioning is crucial
polishing slides
rebaseme
remove backed up slides using old theme
improve proof 3
group references by importance
use symlinks for source files