noncontradictions