public static void removeAnnotation(Proposition proposition, Keyword key) {
    { PropertyList annotations = ((PropertyList)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_ANNOTATIONS, null)));

      if (annotations == null) {
        return;
      }
      annotations.removeAt(key);
      if (annotations.thePlist == Stella.NIL) {
        KeyValueList.setDynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_ANNOTATIONS, null, null);
      }
    }
  }