semiexpansible
not defined yet