If anyone has a better theorem, now's the time to reveal it.