redistillabness

not defined yet