[Unnumbered Definition]