<div dir="ltr">Dear Iris Club,<div><br></div><div>- I think in the definition of `pre-wp` (page 17, The Iris 2.0 documentation), `s` in the 4th line is used without binding.</div><div><br></div><div>- I wonder if what is the relationship between `s`, `s1`, and `s2`..  More specifically, I guess `s1` and `s2` are less constrained than intended.  Should they be related to `s`?</div><div><br></div><div>Thank you,</div><div>Jeehoon</div><div><br></div><div>-- <br><div data-smartmail="gmail_signature"><div dir="ltr"><a href="http://sf.snu.ac.kr/jeehoon.kang" target="_blank">Jeehoon Kang (Ph.D. student)</a><div><a href="http://sf.snu.ac.kr" target="_blank">Software Foundations Laboratory</a><div><a href="http://www.snu.ac.kr" target="_blank">Seoul National University</a></div></div></div></div>
</div></div>