Frankfurt-style cases, which compatibilists treat as decisive, presuppose that 'could have done othe...