A p-adic approach to rational points on curves - Bjorn Poonen (2020)