Working on the incremental stuff synthesis...