nonconclusion

not defined yet