C.29.1:3 - Forces · fpf.tools

Force	Working tension
Easier calculation vs retained distinctions	A smaller representation may make calculation possible while removing the variable or history needed by the answer.
Reuse vs reconstruction	Reusing a proof saves work, but only its applicable assumptions and preserved steps support the transferred conclusion.
Forward consequence vs returned action	Every source action may have a receiving representation while some receiving actions have no source realization.
Exactness vs useful approximation	Equality is convenient; a justified bound may answer the question with less retained information.
Local comparison vs extended use	One update can agree while later composition fails because the summary omits a condition for the next operation.
General method vs subject knowledge	The transfer comparison recurs across mathematics and applications; the particular algebra, order, geometry or physical law still comes from its subject.
Recoverable reasoning vs recording cost	Another user needs the correspondence and qualifications that affect the result, but a short derivation often carries them without a separate form.