Topics Related to Critical Chain, Estimate and Lean: