unvariedly
not defined yet