Here we will give an overview of Pieter's lectures and some additional background information. More to follow.