Lean Ullua presentations