incremental provider and sync service code: preliminarily done; not tested yet.