incremental consistency