In a way, it's more accurate to say that the signaling system can infer where trains are because it knows where they aren't.