[re.def] (original) (raw)

See [intro.defs].