everywhence

not defined yet