Add extra assertion.
Illustrate the new primary type.