tangency
not defined yet