Lean Logic