"Even though it is, properly speaking, a postprediction, in the sense that the experiment was made before the theory, the fact that gravity is a consequence of string theory, to me, is one of the greatest theoretical insights ever."