auxiliary

not defined yet