Start formalizing some of the extensions.
Fix notation issues with fresh.
More on extention formalism.
Improve notation.
Update erasure function for extentions.
Remove invalid case in erasure function.