semidivision
not defined yet