za3k comments on More thoughts on assertions