Definition
See Introduction.