The term 'formally end' can be expressed in two different ways, using the crossword solutions of 'REPEAL' and 'ABOLISH'. To REPEAL something means to revoke or annul a law or other official document, while to ABOLISH something means to do away with it completely. Both terms refer to the act of officially ending something, but the difference lies in the degree of finality. Repealing something implies that it can be reinstated at a later date, while abolishing something implies that it is gone for good.