spanned
not defined yet