Adds pos and lemmas