concludency

not defined yet