Included Maxterms