Frankfurt cases presuppose the counterfactual intervener can detect the agent's prior sign determini...