Let c(e, s) be the context of e in s. Let σ be a summary function of contexts.
we can then use the context summary estimate: we return the exact Viterbi outside score for some context, generally not the actual context, whose summary matches the actual one's summary.