Finalized Red-Form