Lean tool booleans