static bool bothEq(O a, O b, O x) {
  ret eq(a, x) && eq(b, x);
}