Frankfurt-style cases show that an agent can act freely even when a counterfactual intervener would ...