 The necessity expressed by the ‘no choice about’ operator is not logical or metaphysical necessity. But it might nevertheless be similar enough for Beta to be a valid rule of inference. Or so argued van Inwagen, and gave examples: