 We've gone to, in some cases, penalty kicks. I don't know if you know this. This is my final question. Are they going to have extra time in this championship game if it is knotted up at whatever score? Or are we going straight to penalty kicks? I don't know the answer to this. I don't mean to catch you off guard. But so far, it's been straight to penalty kicks, which I don't like. Give me your take on that. And what have you heard? Do you know?