I.P34 — No Unearned Decimal Diagonal

No unearned decimal diagonal: tau-reals are constructive Cauchy sequences with explicit moduli. The diagonal construction requires non-constructive choice over uncountably many positions, which tau does not provide.