Universal varieties of distributive double p-algebras