elaborates

not defined yet