necessarian

not defined yet