 in such a case the spot turns red owing to a local interaction and remains red without any additional local interaction. With or without the intervention on the wall, the spot of light moving around the wall would have been red from that point on. Considerations of such cases required a counterfactual formulation of the principle of mark transmission. (Salmon 1994b [1998: 252])