informally

not defined yet