public static boolean bothNumbersP(Stella_Object t1, Stella_Object t2) {
    if (Stella_Object.isaP(t1, Logic.SGT_STELLA_NUMBER_WRAPPER) &&
        Stella_Object.isaP(t2, Logic.SGT_STELLA_NUMBER_WRAPPER)) {
      return (true);
    }
    else {
      return (false);
    }
  }