(2DV514)
Definitions