Finished the proof of the proposition on QPE vs. QPPE.

Next: Abelian varieties over local fields