11  Applying Morphisms to H₁ Clause Sets with tptpmorph