backwardness
not defined yet