rewrite (allows more than one correct intra-interval updates)