DE18840: subtract initial final state count from remainder