EffortForIndivFormaliz-1.tex
IndividualFormalization-1
IndPS.txt