magnus/inventory/HNNExtensions/homomorphism
