harfe comments on Infra-Bayesian Logic