stone_cech_setoid source