An interesting philosophical question: if a phoneme present in underlying representation surfaces faithfully, does the surface representation “contain” that phoneme, or is it better to say faithful phonemes have been vacuously transduced to an (allo)phone with the same specification?