separability
not defined yet