implementation.tex: corrections
smps.tex: corrections
implementation.tex: corrections
tps_eval.tex: corrections