Altas investigaciones lógico-hipocondríacas

Para todo x, para algún y y para algún z: Si x es un síntoma, existe alguien (y) que ha puesto en internet que le pasa lo mismo y existe alguien (z) que lo descubre.