Continue reproving lemmata in the new proof idea.