Link to current text
CMP.13:3 - Forces
| Force | What must be reconciled |
|---|
| Useful loss and needed distinctions | A small summary is useful only if it retains enough to answer the current question. |
| Possible and realizable | An overapproximation can exclude an outcome conclusively while leaving an included outcome unconfirmed. |
| Local operations and whole executions | Each transition must respect the interpretation, and loops require closure over repeated transitions. |
| Precision and completion | More detailed states and slower extrapolation may improve an answer while increasing the obtaining cost. |
| Separate summaries and correlation | Cheap independent properties may lose the relation that determines the result. |