halve
not defined yet