Evidence-based verification and correction of textual claims.