to push → to induce
Relation Type