nonconcludency

not defined yet