Replacing a Part

A rule that runs both ways and reaches inside a formula is a different kind of license