--- a/dictionary/prov-dictionary.html	Thu Jan 10 17:02:54 2013 +0100
+++ b/dictionary/prov-dictionary.html	Thu Jan 10 17:52:51 2013 +0100
@@ -2479,6 +2479,7 @@
 <span class="conditional">IF</span> <span class="name">derivedByRemovalFrom(d2, d1, {"k1"})</span> 
    <span class='conditional'>THEN</span> <span class="name">hadDictionaryMember(d1, e1, "k1")</span>
 </p></div>
+  <div class="remark"><b>Note from the editors:</b> this constraint seems too restrictive for some implementations, and the editors would like to remove it, unless there is strong consensus to keep it. Removal of this constraint would also allow for duplicate dictionaries to be derived by "removal" of a non-existing key.</div>
 
 <p id="insertion-derivation-inference_text">Insertion and removal are special cases of derivation.</p>
 	 <div class='inference' id='insertion-derivation-inference'>