Lean_ldb condivide soltanto con gli amici.