This product focuses on the general logical description of summarizing, distinguishing between necessary and probabilistic conclusions, and the structure of summaries