conclusum

not defined yet