If we see a proof of its existence, we can say that a property is true for some element:

That is a substitution (maybe read `` over '' and is done by changing to ).

This rule says that if we see , where is any element, we can say that , because we know that when is then the formula is true.

Daniel Clemente Laboreo 2005-05-17