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