What Counterfactuals Can Be Tested | Synapse