<div dir="ltr"><span class=""></span><br><span class=""></span><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
</span>Wait, wasn't the entire point of your proposal that no list of CMRAs<br>
needs to be given?  You wrote "why don't you just product over all<br>
possible bifunctor \Sigma?"<br>
If by that you mean "all bifunctor \Sigma given in a list", then I don't<br>
understand the question.  That's pretty much what we are doing, isn't it?<span class="im HOEnZb"></span><br clear="all"></blockquote></div><br></div><div class="gmail_extra">Yes, I meant "all bifunctor \Sigma", not "... given in a list".  I just wanted to product over all possible \Sigma.  My idea is, anyway you already restricted the sizes of the CMRAs by mentioning the list of them, so why not just producting over all CMRAs with *that size* you used in the list?<br></div><div class="gmail_extra"><br><br>-- <br><div class="gmail_signature" 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>