revert, accum is a tuple of lists