lispalien comments on More thoughts on assertions