Meh, why hi(x) == lo(x) when hi_eq_lo(x) is easier?