MMP.21:2 - Problem

Locally adequate contributions can fail together. Their inputs may have incompatible meanings, their conditions may not survive another contribution’s operation, or their combined demand may exceed an available resource. Conversely, arrangements that look different can preserve everything the receiver needs.

A mathematical model can resolve these questions only if it retains the distinctions that matter. A proof about a reduced description may otherwise conceal the difference that should have changed the decision.