noncontradictories

not defined yet