eq_mind

eq_mind