Model Theory: An Introduction: 217