Vladimir_Nesov comments on Threatening to do the impossible: A solution to spurious counterfactuals for functional decision theory via proof theory