Design Principles
about models as a whole
philosophical more than technical
Compatibility Properties
about individual structures
some highly technical
some automatically check-able