http denotation

http denotation