ADD halfspace.h