Go back to the tag's page.
Tags: Added new tags Also fixed a few references
Fix an small error in flattening by blowing up Also formulate an easier version and prove this first