LEAN LOGIC