2 Prerequisites and Problem Statement