• EffortForIndivFormaliz-1.tex
• IndividualFormalization-1
  • IndPS.txt