semicomplete

not defined yet