ungroundedness

not defined yet