Generic instance, and Sierpinski example