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

               You are in Explanation Mode       Click here for Definition Mode