public static World pushMonotonicWorld() {
    { World world = Stella.pushWorld();

      KeyValueList.setDynamicSlotValue(world.dynamicSlots, Logic.SYM_LOGIC_MONOTONICp, Stella.TRUE_WRAPPER, Stella.FALSE_WRAPPER);
      return (world);
    }
  }