I'm very curious to try it out for incremental consistency checking (i.e. does all the data satisfy a set of predicates)