semidivision

not defined yet