Intuition behind predicates
dionyziz opened this issue · comments
The intuition paragraph must be augmented with some words to give intuition about what predicates are: An example such as transaction inclusion will help. It should be made clear that the predicates take one parameter, a single chain. These predicates do not extract cross-chain comparison results!