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