token-based contradiction