En kodifikation af alladessa