Tried proving stuff about retractions.
Removed some old code and old quotes.
Wrote some stuff on non-isomorphic views.