unencountered

not defined yet