C.29.1:10.1 - Why operations, conditions and questions are considered together

A result is produced by a particular construction under particular premises. Mapping the named objects alone leaves open what happens to that construction. Comparing the two orders exposes the mathematical obligation at the point where it matters.

Operation conditions belong to this comparison because partial operations are common in practice. A reservation consumes availability. A route continuation consumes or requires permission. Removing the condition can enlarge the receiving problem even while preserving the arithmetic of every allowed source step.

The receiving question determines which preservation is useful. Reconstructing a complete state, preserving a selected query and obtaining a bound have different mathematical requirements. Making that choice early avoids both retaining unnecessary detail and losing a decisive distinction.