Will_Sawin comments on Reflection in Probabilistic Logic