Again, Computer Science! There's no such thing as "dynamic type variables" in Math!