Safe Alternative To Real Lean