Introduction
Definition of terms