[LP] fixed more typos, now lemmata