Dirk: unambiguous_AAAI typos
Dirk: shortened footnotes and added space savers to preamble