comment an assertion