uncommented an assertion