Rethinking Lean Reflections Of A Lean Professor Sintefblog