kˈal nʊtˈa kˈɛ, kˈom tˈotəs ləs pɾˈoβəs kˈɛ iŋklˈɔwən lɐɡzjˈomɐ ðələksjˈo, nˈo ðˈiw kˈom kˈal fˈɛˈʊ, nʊmˈes ðˈiw kˈɛ ˈɛs pˈot fˈɛ.
Cal notar que, com totes les proves que inclouen l'axioma d'elecció, no diu com cal fer-ho, només diu que es pot fer.