Faltings’s Theorem on the Tech Tree