definienda

not defined yet