# ZmnSCPxj - Lightning Dev - Escrow Over Lightning (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png) ## Highlights - we can observe the De Morgan Theorem: A || B <=> !(!A && !B) - So what we do is, we make *two* payments of the same amount: * Seller -> Buyer , claimable by BUYER && ESCROW key. * Buyer -> Seller, claimable by SELLER key.