Yes, I think it's safe to say that `isOpen` => `_p.handle !is null`, so the second enforce can be removed.