Text this: On tractability and congruence distributivity