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)