We should not clutter the text with "verified" markers before finding
mistakes.