Create a predicate which is true when there exists an out-of-thin-air read
In theory, having a large amount of possible values doesn't mean that there is an out-of-thin-air read. Thus, we actually need a predicate to check this.
In theory, having a large amount of possible values doesn't mean that there is an out-of-thin-air read. Thus, we actually need a predicate to check this.