Page "σ-finite measure" not found :(