Prove that a local packet doesn't go through tun0 if the default address is 0.0.0.0/0