Definition:Monster Model (Model Theory)