Carlos Rodriguez

### Question 3 > Now module a has two datagrams on the way and two function acknowledgePacket and chanCloseConfirm to call. If chanCloseConfirm is called first due to the concurrency...

Closing this issue for now. @michwqy I hope my answers above helped, otherwise, please feel free to reopen.

@michwqy Sorry I missed your messages within the rest of all GitHub notifications. Yes, happy to continue the discussion; I will go over your previous comment and reply.

Thank you for addressing all my comments, @riversyang. I just left one follow up comment [here](https://github.com/cosmos/ibc/pull/915#discussion_r1206536724). And apologies again for the late reply. I have also a question: are you...

> This is a good question. In the unordered case we don't need to worry about this. In the ORDERED case, I could see it working in a couple ways....

As discussed we will close this PR and add a link to the existing Quint spec.

Closing this issue for now, since it doesn't seem like any changes are required at the moment in the spec.

Superseded by #889

@schnetzlerjoe Yes, the ICS-31 spec is finalized. This PR was closed because the approach to do pubsub that is being worked on in https://github.com/cosmos/ibc/issues/889 was considered better. Working on an...

I discussed with @AdityaSripal and he thinks that it's better to not switch to a boolean return type, so we will leave it as is.