PA Theory 2020