Note:
Definitions are given in
chapter 2
.