complementalness
not defined yet