CarlShulman comments on More thoughts on assertions