shiny, what mathematical proof was written across the boxes? Just curious
It's more just for the visual effect, a pi calculus example from the internet. No hidden message there

However I don't want to take away from the beautiful mathematics that is UR-calculus.