r1, finalized