module Chapter5.IDesc.Algebra.Main where open import Chapter5.IDesc.Algebra.Quantifiers open import Chapter5.IDesc.Algebra.Composition