public static boolean mapFunctionalValueP(Proposition proposition, KeyValueMap mapping) {
    { Proposition copy = Proposition.findSimilarProposition(proposition, mapping);

      if ((copy == null) &&
          (proposition.kind == Logic.KWD_FUNCTION)) {
        copy = Proposition.inheritFunctionProposition(proposition, mapping, false);
      }
      if (copy != null) {
        { Stella_Object localfunctionalvalue = Logic.valueOf((copy.arguments.theArray)[(copy.arguments.length() - 1)]);

          return (Logic.mapAndEnqueueVariableP((proposition.arguments.theArray)[(proposition.arguments.length() - 1)], localfunctionalvalue, mapping));
        }
      }
      return (true);
    }
  }