It knows this because it knows where it isn't. By subtracting where it is from where it isn't

I understand this reference