====== Denotation ======