The logic of empirical testing of accident prediction models | Synapse