ProTheory+20.txt