miscellanies

not defined yet