A binary pulsar's orbit shrinks in a precisely measured way over many years. The rate matches the prediction for energy carried away by ripples in spacetime. Which observation is this evidence for?