Models
-- Notes Page --
This slide further contrasts uninterpreted and interpreted models.