arrow → porcupine
Relation Type
Derivation
Motivation