add denotation