Q.E.D.

That one opens up a third.

Each individual step is small and verifiable, but the full chain of steps carries you from, "I don't know how to prove this," all the way to QED, proof complete.

Drug discovery, code modernization, retrosynthesis, they're all the same thing mathematically.

They're theorem-proving problems.

And so I should assure you that as soon as he comes back into Nigeria, he will give you a date that he will come and commission those presidential projects.

You know, after solving mathematics back in secondary school, you put QED, Quod Erat Demonstrandum, in the end of discussion.

Nothing to discuss again.

The vice president says there's no vacancy and so be it.