"Selected design can be derived from requirements" - meaning and difference against traceability?

ISO 12207 contains interesting points for design verification:

a) The design is correct and consistent with and traceable to requirements.

c) Selected design can be derived from requirements.

EDIT Also under Core verification, it reads:

c) Selected code can be derived from design or requirements.

What does it mean? What is the difference between those?