You assume lean can express more than it can.