more TODOs
noticed a spacing inconsistency in the "sums are symmetric monoidal" proposition
we definitely shouldn't claim that our category is monoidal closed
list accomplishments of the development
record a potential question the committee might ask
probably don't need this parenthetical; let's just try to remember to say it aloud