# ZmnSCPxj - Lightning Dev - Escrow Over Lightning (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png) ## Metadata **Cover**:: https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png **Source**:: #from/readwise **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[ZmnSCPxj]] **Full Title**:: Lightning Dev - Escrow Over Lightning? **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **URL**:: [lists.linuxfoundation.org](https://lists.linuxfoundation.org/pipermail/lightning-dev/2021-February/002955.html) **Host**:: [[lists.linuxfoundation.org]] **Highlighted**:: [[2021-02-23]] **Created**:: [[2022-09-26]] ## 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.