There's another possibility: perhaps it works, but in a way that is not trivial to prove. For example, maybe it depends on who's doing it. You or I would be una

There's another possibility: perhaps it works, but in a way that is not trivial to prove. For example, maybe it depends on who's doing it. You or I would be unable to prove it, but we're not cat changers.