The True Origin of LEAN