  In this paper we prove, assuming the Generalised Riemann Hypothesis, a
conjecture of Yves Andre that that asserts that a curve in a Shimura variety
containing an infinite set of special points is of Hodge type.
