IDP returns an indeterminate decision when the decision is prior dependent ( that is when it would depend on the choice of formula _ 2 ) .
IDP returns an prior dependent decision when the decision is indeterminate ( that is when it would depend on the choice of formula _ 2 ) .