independencies
not defined yet