Any examples of major predictions verified in this way?