You've missed my point entirely by trying to over literally interpret it as a closed form logical definition and proof. Classic HN.

Any sufficiently advanced theft prevention device is indistinguishable from a stalking device.

You're still stalking the movements of the person who stole your bike, until they ditched it. The fact that the device can no longer stalk them if they threw it in a dumpster does not mean you aren't still tracking their movements from where they stole your bike to the dumpster.

In that moment when you see your cut bike locks on the ground where you parked your bike, and you pull out your phone to track it, your first instinct is that someone stole it and you want to follow their movements after they stole it.