Multirelations_Heterogeneous.Power_Allegories_Multirelations