Someone comes up with a theory that's mathematically simple, beautiful, and consistent. That's great, but we don't consider it "correct" until it actually predicts something novel and we verify the prediction holds experimentally.
That's your "Y, therefore X".
