Venkitesh's conjecture on covering symmetric subsets of the hypercube
Venkitesh's conjecture. If n≥4n\geq 4n≥4 and W(S)⊆Tn,2W(S)\subseteq T_{n,2}W(S)⊆Tn,2, then