redivision

not defined yet