Sin embargo, a pesar de las propuestas resultantes de la obversión son lógicamente equivalentes a los estados originales en términos de valor de verdad, no son semánticamente equivalentes a sus declaraciones originales en su forma estándar.