With ABC's checkpointing, what's the point anymore? They are now two independent chains. If there was shadow mining going on it, the point is moot.