Rieffel induction

GPTKB entity