Trovare modelli per un sequente

Question

Sto cercando di generare modelli per il seguente sequente.

$$ esiste x esiste y forall z (z = x lor z = y) $$

Quello che ho escogitato è questo.

$$ a = {0,1 } $$

Quindi in questo modello, per tutti i valori di $ z $ esiste $ x $ in modo tale che $ z = x $ o esiste $ y $ in modo tale che $ z = y $. Questo modello è corretto? Quali altri modelli ci sono che lo soddisfano?