Add comment showing thought process on how lemmas were written.