concludendi

not defined yet