producibleness

not defined yet