. Now we claim that 0000 must be avoided also; for if 0000 was in the set, then one point from each of the six pairs formed from {0000, 0000}, {0000, 0000} and permuting the last three indices must lie outside the 0*** slice, which reduces the size of that slice to at most 