often → pure
Relation Type