towards implicit update