“…We are not claiming that the problems below are difficult. Edge terms are an important generalization of near-unanimity terms and, possibly in equivalent formulations, play a chief role in many computational problems, e. g. [1,2,5,7,8,15,20,21,22,23] and further references in the quoted papers. An edge term implies congruence modularity; moreover, a congruence distributive variety V has a k-edge term if and only if V has a k-near-unanimity term [7].…”