if one axiomatizes relations instead of functions one obtains the theory of allegories it is conjectured that it always equals the chromatic index perezida paul kagame wari majoro yavuye