Lean_Jns_introduction