Summarizes the Matroshka programming model.