Fixed measurability theorems and proofs, added to intro