Compatibilist can accept:
P did A freely = P did A and P was free not to do A. |
P was free not to do A = P's doing A was not compelled by external factors. |
(Stace's Gandhi example IP3 383bf)
P was free not to do A = If P had chosen not to do A, P would not have done A. |
(Cf. Stace IP3 384b)