MMP.8:8 - Common Anti-Patterns and How to Avoid Them

Failure in this work	Repair
A solver changes an external load or unknown state to satisfy the goal.	Treat it as a circumstance and apply the required quantifier.
A separately optimal action for every future is presented as one available strategy.	Group cases by the information available at the decision; require a common action within each group.
An existentially chosen consequence stands in for all allowed behavior.	Retain the behavior relation and test the quantifier required by the goal.
A larger uncertainty set is called safer without examining its subject meaning or cost.	Check the joint possible circumstances and choose the requirement for the actual use.
Better observation is required after a sufficient common action is already available.	Compare what the additional information can change before commissioning it.