Paper.

Paragraph about fairness (how do we guarantee that we don't prefer "simple"
applications to more complex ones? -- actually, we don't).

Subsection about presenting this as a fixed point computation.

I think that's pretty much all; now the example section can be written.