ex_equals_oh