Estimation and verification