Tag: how to mark contradiction