denotation

not defined yet