Ah but you can prove that that hider doesn't exist independently of the other hider?

like so

https://prnt.sc/iu6lui