The robot knows where it is at all times. It knows this because it knows where it isn't.
The robot knows where it is at all times. It knows this because it knows where it isn't.