Barendregt–Geuvers–Klop Conjecture on the Tech Tree