We explore the comparison isomorphism of p-adic Hodge theory in the case of elliptic curves, and discuss some ideas which may be used to prove the S-unit theorem and the finiteness of rational points on higher-genus curves (Faltings' theorem).