Rule of Exportation

Also known as
This rule is also known as the rule of shunting.