there was a bug in abs_eq