Paper.

A few paragraphs for 3.2 (efficient representation of sets of instances; problem
of instance propagation).