Title: Denotational graphics