does this properly handle the rereduce case? can't quite wrap my head around it, just wanted to confirm it was something you had thought through