Stuart_Armstrong comments on Reflection in Probabilistic Logic