because we can't, for example, know for sure that all of the restrictions on types in the schema were in place when the relationships were written