infralinear
not defined yet