Oscar_Cunningham comments on Bayesian probability theory as extended logic—a new result