Made quite many new lemmata. Good progress!