Link to current text
B.5.RA:3 - Forces
| Force | Tension |
|---|
| Local inference and overall method | Individual transitions can be understood while the purpose of a construction or the route to the conclusion remains obscure. |
| Understanding and checking | Understanding may reuse established results; validating a whole argument can require additional work under a different question. |
| Useful compression and hidden dependence | A lemma can make a long argument manageable, but the reader must know what it supplies and which conditions it uses. |
| Conditional result and unresolved premise | Useful consequences may follow before every premise is established, provided the next use preserves the condition. |
| Source recovery and new reasoning | Repairing a gap can open a valid use, while attribution must distinguish the supplied argument from the reader’s addition. |