True or false? Explain. 

a. ∃ x x = Rumpelstiltskin is a valid (necessarily true) sentence of first-order logic. 

b. Every existentially quantified sentence in first-order logic is true in any model that contains exactly one object. 

c. ∀ x, y x = y is satisfiable.