dottedness

not defined yet