I think we have more than 1 data point for AI progress.