Models

This slide further contrasts uninterpreted and interpreted models.