indure
not defined yet