4 problems
Binary-invariants conjecture. Among minimal bounded width algebras, is determined up to term equivalence by .
Recursive subalgebra conjecture. The set
Minority-pair conjecture. If
Semilattice-like terms conjecture. Every bounded width algebra has terms satisfying these identities.