{[i] : 1 <= i <=  10
	&& ! i = 3
	&& ! i = 2
	&& ! i = 4
	&& ! i = 7
	&& ! i = 6
	&& ! i = 8
};