Lean Logic - The Last Mirage