unelaborated

not defined yet