[agumonkey]

Took me years before thinking of variables that way and mathematical expressions are constraints over sets, formulas expressing relations of interests that way.