The term {tt (denotation $tau$)} denotes the object denoted by the object denoted by $tau$. A quotation denotes the quoted expression; the denotation of any other object is $bot$.