Continuing the rewrite of 'Isomorphisms'