redistillableness
not defined yet