Equivalent_canonization loading ...