- Relation defined and tested