Definition 1.