I must emphasize that if there is to be any temporal references, it is between future and non-future, not past and non-past. Sure, but your counterfactual seems decidedly +past. The realis can be marked in the apodosis, for matters involving implication (there are hoofprints here, so there must be ...