• Main problem: keeping per-plugin and per-tactic state in the summary.