Charlie Steiner comments on Asymptotic Logical Uncertainty: The Benford Test