The Lean revisited  ....                ..... with