downwardness
not defined yet