work on incremental solving