Dame un detector de verdades perfecto y reduciré el universo a un árbol de sí/no hasta que la respuesta surja.