Begining of the rewrite of 'Isomorphisms'