Module Algebra.Generate.A

module A: Presentation.A