semiproductivity

not defined yet