byTun_contradictions (1)