A model for reasoning about persistence and causation