Incremental Checking