Added PK requirement to EF slide