The answer is known to be `yes' if \(\mathbf {A}\)  has a near unanimity term (by the
Baker–Pixley Theorem [1]}), and the answer is not known
in general, if \(\mathbf {A}\)  has a Mal'tsev term; in fact, as we mentioned earlier,
the answer is not known even if \(\mathbf {A}\)  is a finite group expanded by
further operations.
We will now briefly discuss what the main difficulty seems to be.
