Programming languages and systems are basically theorems.
The nice thing about theorems is that even when they're old, they're still theorems.
The nice thing about theorems is that even when they're old, they're still theorems.
But in the end it is not the notation that makes or break a theorem. However, a theorem may be more or less clear depending on the notation.