Incremental implementation