The Frankfurt-style cases that falsify (9) presuppose the agent could have done otherwise in some ro...