nonfallacious
not defined yet