@gruber @siracusa I thought exactly the same thing when I watched this. John thinks different.