Models, Equality, Undefiniteness