more details on checkResidual() -- error estimation