PDF Lean Tools