Bayes’ Theorem on the Tech Tree