The posterior predictive distribution over the historical records for the mile run, using a Gumbel attempt distribution. The red curve tracks the historical record, while the blue curves summarize the posterior.