Charlie Steiner comments on A useful level distinction