Added proposition on creative and simple sets.