lo que significa que la forma normal de (S I I "Z") es simplemente I, otra contradicción.