2 problems

Park's conjecture. Every finitely generated variety of finite type that has a finite residual bound is finitely based.

For a variety, let congruences be equipped with the higher commutators, and call these commutators neutral when each higher commutator equals the meet of its arguments. Higher-comm…