<div dir="ltr"><div>Dear Iris Club,</div><div><br></div><div>In the "Iris From the 
Ground Up" journal paper, it's said that persistent and duplicable 
resources are different things.  There's an example: "exists q, l 
|->_q v" is duplicable, but not persistent (p15, <a href="https://people.mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf" target="_blank">https://people.mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf</a>).</div><div><br></div><div>But are there any technical reasons why the example should not be persistent?</div><div>The resource "lost" the information on q, so we can never be able to take it back completely, anyway.</div><div>In that sense, maybe we can say it's persistent?<br></div><div><br></div><div><div dir="ltr" class="gmail-m_-8571025026107835115gmail_signature"><div>Thanks,</div><div>Jeehoon</div></div></div></div>