public static void runGoesFalseDemons(Proposition proposition) {
    { Keyword testValue000 = proposition.kind;

      if ((testValue000 == Logic.KWD_FUNCTION) ||
          ((testValue000 == Logic.KWD_ISA) ||
           (testValue000 == Logic.KWD_PREDICATE))) {
        Proposition.runTruthChangeDemon(proposition, Logic.SGT_PL_KERNEL_KB_GOES_FALSE_DEMON);
      }
      else {
      }
    }
    return;
  }