Calculus of Constructions on the Tech Tree