Topics Related to Certification, Estimate and Lean: