So, jokes aside, what do you think Knuth is going to announce?