Definition
See introduction
