In this talk, I will discuss a result of Mochizuki's that can be thought of as a prototype for the family of results relating maps between varieties to maps between arithmetic fundamental groups. In particular, I will discuss a consequence of the Tate Conjecture showing how it expresses that the isomorphism class of an elliptic curve can be recovered from purely Galois Theoretic information, and thus how the Tate Conjecture is in the same genre as the Grothendieck Conjectures.