semicomplete
not defined yet