Go back to the tag's page.
fix small typos
Tags: added new tags
Fix up section with the main theorem Still to do: explain better why this is interesting