B.1.5.RS:3 - Forces

• A local gain can remove a contribution needed elsewhere.
• Several uses may require different guarantees from the same constituent.
• Simplification saves effort when its lost detail is irrelevant to the receiving action.
• Strong evidence can be expensive; a bounded argument or counterexample may already settle the next move.
• A common replacement reduces maintenance, while separate variants can preserve otherwise incompatible uses.
• Method identity, description correspondence and performance evidence answer different questions.