3.1 Definitions

Void