====== Definiendum ======