Some of our primal algebras are missing: the canonical primal theory

It has been proven elsewhere that every variety has associated with it a unique canonical theory, where idempotent morphisms split. This article exhibits models of the canonical theory associated with any primal variety, for example, Boolean algebras. One such variety of models is generated by the several-sorted algebra (2, 3, 5, 7, 11,...;...,omega,...) with carriers of all prime cardinalities and with a clone of all finitary operations omega on and between carriers. This primal algebra was unknown. There are more.