what is missing in lean version?