From 4dd07f6272a39156f40bb094f228c75052857bdf Mon Sep 17 00:00:00 2001
From: Aditya Sripal <adityasripal@gmail.com>
Date: Wed, 9 Mar 2022 17:23:43 +0100
Subject: [PATCH 1/2] add optional verifyPacketReceipt method to clientstate

---
 spec/core/ics-002-client-semantics/README.md | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/spec/core/ics-002-client-semantics/README.md b/spec/core/ics-002-client-semantics/README.md
index 17c9adc89..0df3badd6 100644
--- a/spec/core/ics-002-client-semantics/README.md
+++ b/spec/core/ics-002-client-semantics/README.md
@@ -429,6 +429,26 @@ type verifyNextSequenceRecv = (
   => boolean
 ```
 
+#### Optional Functions
+
+
+`verifyPacketReceipt` verifies a proof of the absence of an incoming packet receipt at the specified port, specified channel, and specified sequence. It is needed only if the chain wishes to support new channel types other than ORDERED and UNORDERED.
+
+```typescript
+type verifyPacketReceipt = (
+  clientState: ClientState,
+  height: Height,
+  delayPeriodTime: uint64,
+  delayPeriodBlocks: uint64,
+  prefix: CommitmentPrefix,
+  proof: CommitmentProof,
+  portIdentifier: Identifier,
+  channelIdentifier: Identifier,
+  sequence: uint64,
+  receipt: bytes)
+  => boolean
+```
+
 #### Query interface
 
 ##### Chain queries

From b68244183d246437dc40ced5efd742ef9ccba614 Mon Sep 17 00:00:00 2001
From: Aditya <adityasripal@gmail.com>
Date: Thu, 10 Mar 2022 09:56:24 +0100
Subject: [PATCH 2/2] Update spec/core/ics-002-client-semantics/README.md

Co-authored-by: Marius Poke <marius.poke@posteo.de>
---
 spec/core/ics-002-client-semantics/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/core/ics-002-client-semantics/README.md b/spec/core/ics-002-client-semantics/README.md
index 0df3badd6..e46d63f6f 100644
--- a/spec/core/ics-002-client-semantics/README.md
+++ b/spec/core/ics-002-client-semantics/README.md
@@ -432,7 +432,7 @@ type verifyNextSequenceRecv = (
 #### Optional Functions
 
 
-`verifyPacketReceipt` verifies a proof of the absence of an incoming packet receipt at the specified port, specified channel, and specified sequence. It is needed only if the chain wishes to support new channel types other than ORDERED and UNORDERED.
+`verifyPacketReceipt` verifies a proof of an incoming packet receipt at the specified port, specified channel, and specified sequence. It is needed only if the chain wishes to support new channel types other than ORDERED and UNORDERED.
 
 ```typescript
 type verifyPacketReceipt = (