Existential Faithfulness studies the nature of underlying-surface relations in phonology, arguing for the centrality of existential faithfulness. Caro Struijke argues that faithfulness constraints on the input-output correspondence relation demand that each input element has some output correspondent, and they are thus existentially quantified. It is also argued that reduplication and feature displacement involve segmental fission.