Lean withcu walk (Explicit)

Lean withcu walk (Explicit)