Metkagram · Contrast · necessity-type
Before we can X, we need Y vs For X to be true, Y must hold
How to choose: Is Y a step that must happen before an action, or a condition that must hold for a claim or hypothesis to remain possible?
Core distinction
CLF045 is operational: Y is a prerequisite task or dependency before the team can proceed to X. CLF057 is epistemic: Y is a necessary implication of a hypothesis X, so failure of Y weakens X rather than merely blocking the next action.
First pattern · CLF045
Before we can [X], we need to [Y].
Make a prerequisite step explicit before moving to the next action.
- EN
- Before we can [X], we need to [Y].
- DE
- Bevor wir [X] können, müssen wir [Y].
Second pattern · CLF057
For [X] to be true, [Y] would need to be the case.
Identify a condition that would need to hold for a hypothesis to remain viable.
- EN
- For [X] to be true, [Y] would need to be the case.
- DE
- Damit [X] zutrifft, müsste [Y] der Fall sein.
Examples
CLF045
Formula: Before we can [X], we need to [Y].
Example: Before we can automate the check, we need to define the rule.
CLF057
Formula: For [X] to be true, [Y] would need to be the case.
Example: For a retry to be the cause, the duplicate would need to appear after the first failure.