elaborations

not defined yet