Formal Alteration and Modification