Si el nivel de abstracción es suficientemente alto, la estructura intermedia será la misma para ambas, y por tanto siempre se traducirá igual.