(Well-Defined: