“an introduction to the logic of the two notions.”