public static boolean equivalentFunctionPropositionsP(Proposition self, Proposition other, KeyValueMap mapping) {
    return ((self.kind == Logic.KWD_FUNCTION) &&
        ((other.kind == Logic.KWD_FUNCTION) &&
         Proposition.helpEquivalentPropositionsP(self, other, mapping, true)));
  }