Before revision:  It may be satisfied, for instance, when it is the result of either a search process or unobserved feasibility.
After revision:  It is satisfied, for instance, when it is the result of either a search process or unobserved feasibility.