typicality

not defined yet