Text this: Lean logic :