semidigression
not defined yet