9.1 Definitions