y is a flexible variable. It and x are the two variables that occur free in formula Phi.

               You are in Explanation Mode       Click here for Definition Mode