resolvability
not defined yet