Models

-- Notes Page --


This slide further contrasts uninterpreted and interpreted models.