Daniel Abolafia comments on Bayesian inference on 1st order logic