Morendil comments on More thoughts on assertions