Existence of rational points on smooth projective varieties - Bjorn Poonen (2007)