merge yuen and equiv_t