See [intro.defs].