Intuitionistic Logic on the Tech Tree