orthonormal comments on Subsequence Induction (draft)

[orthonormal]

This is a big deal! I like my analogy that $M$ is a prediction market where different $T_n$ can place bets on subsequences of $E$ (relative to the market price) and be rewarded based on their success, and the dominance property plays the role of the efficient market hypothesis...

Corrections, I think:

$T_n$ gets weight proportional to $w_N\left(T_n\right)$

Let $f$ be a function such that $M\left(N\right)$ can be computed in time $g\left(N\right)$ (not $g\left(n\right)$).