lukeprog comments on Reflection in Probabilistic Logic