haddocked a couple of laws from isomorphisms