4_lean_logimat_2