Aaronson's lattice variant. There exist constants ccc and kkk such that for every non-trivial coloring CCC,
