Donaldson’s Theorem on the Tech Tree