Lean Calagui presentations