module Chapter5.IDesc.Algebra.Main where

open import Chapter5.IDesc.Algebra.Quantifiers
open import Chapter5.IDesc.Algebra.Composition