Frankfurt’s “Alternate Possibilities and Moral Responsibility” made an important intervention into the literature on moral responsibility via a classical Frankfurt-type example, arguing that “the principle of alternate possibilities” is false. This paper argues that classical Frankfurt-type examples fail due to the use of agentic counterfactual interventions who lack agency. Using finite state machines to illustrate, I show the models that classical Frankfurt-type examples must use and why they are incongruent with leeway incompatibilist beliefs—the motivating interlocutor for classical Frankfurt-type examples. I (...) then argue that returning agency to the agentic counterfactual intervention also returns alternate possibilities to the actual sequence of events, undermining a core premise of Frankfurt’s. Lastly, I show why a number of potential counterarguments should fail to persuade the leeway incompatibilist. (shrink)