 Remember now that \(q\) may stand for any atomic proposition, including statements about human actions. Therefore, (8) is equivalent to a claim of determinism, i.e., that there are no future contingents. So if one wants to preserve indeterminism, at least one of the above principles (P1–5) has to be rejected.