Universal Instantiation

Also known as
Some authors call this the Rule of Universal Elimination and it is then abbreviated UE.