Should pass `isv` to `mangleExact`.