Siempre que se tenga un predicado con dos (o más) variables, es importante tener cuidado con el orden en que ocurren las variables. (Por ejemplo, decir ciertamente nox<y es lo mismo que decir\(y...Siempre que se tenga un predicado con dos (o más) variables, es importante tener cuidado con el orden en que ocurren las variables. (Por ejemplo, decir ciertamente nox<y es lo mismo que deciry<x.) Algunas opciones especiales de predicados son “simétricas”, lo que significa que si el predicado es verdadero con variables en un orden, entonces es cierto para las mismas variables en un orden diferente, pero esto nunca debe asumirse.