Mean estimation and verification.