It's unclear what grounds the truth of counterfactuals about free choices prior to the agents' exist...
This proposition has not been edited since the history system was added.