I thought Stephen Wolfram had already done some victory laps.