Well said

But honestly, maybe because existence of on is way easier to prove than the other