The Decentralized Lists NIP is basically a way to communicate that A is an element of B.

“A is an element of B” is the primitive upon which all of set theory can be built. Which in turn can be used as the foundation for all of mathematical physics.