The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
scientific article; zbMATH DE number 3765784