A sum over the allowed tangent patterns of a state `s` whose summand depends only on the data `(d, rt, rx)` and the off-boundary pattern, reindexed by `d ∈ [1, D]`, `rt, rx ≤ d` and the off-boundary p

Initializing...

A sum over the allowed tangent patterns of a state `s` whose summand depends only on the data `(d, rt, rx)` and the off-boundary pattern, reindexed by `d ∈ [1, D]`, `rt, rx ≤ d` and the off-boundary p · Prove2Me