public static Cons helpFinalizeObjectAxioms(Cons theaxioms) {
    if (theaxioms == null) {
      return (Stella.NIL);
    }
    else {
      { Cons propositions = Stella.NIL;
        Stella_Object result = null;

        { Stella_Object axiom = null;
          Cons iter000 = theaxioms;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            axiom = iter000.value;
            result = Logic.updateProposition(axiom, Logic.KWD_ASSERT_TRUE);
            { Surrogate testValue000 = Stella_Object.safePrimaryType(result);

              if (testValue000 == Logic.SGT_STELLA_CONS) {
                { Cons result000 = ((Cons)(result));

                  { Stella_Object r = null;
                    Cons iter001 = result000;

                    for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                      r = iter001.value;
                      propositions = Cons.cons(r, propositions);
                    }
                  }
                }
              }
              else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_PROPOSITION)) {
                { Proposition result000 = ((Proposition)(result));

                  propositions = Cons.cons(result000, propositions);
                }
              }
              else {
                return (Stella.NIL);
              }
            }
          }
        }
        return (propositions.reverse());
      }
    }
  }