More detailed definition of partition and coarse-graining of histories in this example. definition of class operator and decoherence functional for the histories. identification of the [decoherence] conditions that are necessary to be able to assign probabilities to the histories [basically amounting exactly to the suppression of interference between histories).