A Vague Lean