Implemented live contradiction highlighting.