Semilattice-like terms conjecture. Every bounded width algebra has terms w,sw,sw,s satisfying these identities.
