Problem DUAL-1. Equational theory with no independent self-dual basis. Is there an example of a finitely based equational theory of algebras admitting a duality (i.e., an arity preserving automorphism of period 2) but with no independent self-dual basis?