TODO: write introduction for “Define the Concepts Regular and SemiRegular”.
TODO: expand this section.