Introduce the notion of a measuring family.

Resolves #2
Fix another implicit irreducibility assumption.
missing article