Browsing: 5 Strong Reasons Why Lean Fails