atucker comments on Reflection in Probabilistic Logic