pseudosemantically

not defined yet