The internet discovers TLA+. Now what? | TickerVault