This section explains the intuitions behind point-based DP update. We begin with the so-called backup operator.