Update no_witnesses.txt

Also copied the ignorant text to the outer else block.