phil-205/forallx2019.pdf