denotations

not defined yet