magnus/inventory/HNNExtensions/homomorphism_homomorphism
