====== Denotator ======