--- a/proximity/Overview.html	Thu Dec 20 11:17:48 2012 +0200
+++ b/proximity/Overview.html	Thu Dec 20 11:31:22 2012 +0200
@@ -192,6 +192,24 @@
           <dd></dd>
         </dl>
         <p>
+          The <code>value</code> attribute MUST return the value it was
+          initialized to. When the object is created, this attribute MUST be
+          initialized to positive Infinity. It represents the <a>current device
+          proximity</a>.
+        </p>
+        <p>
+          The <code>min</code> attribute MUST return the value it was
+          initialized to. When the object is created, this attribute MUST be
+          initialized to negative Infinity. It represents the <a>minimum sensing
+          distance</a>.
+        </p>
+        <p>
+          The <code>max</code> attribute MUST return the value it was
+          initialized to. When the object is created, this attribute MUST be
+          initialized to positive Infinity. It represents the <a>maximum sensing
+          distance</a>.
+        </p>
+        <p>
           When a <dfn>user agent</dfn> is required to <dfn>fire a device
           proximity event</dfn>, the <dfn>user agent</dfn> MUST run the
           following steps:
@@ -298,6 +316,12 @@
           <dd></dd>
         </dl>
         <p>
+          The <code>near</code> attribute MUST return the value it was
+          initialized to. When the object is created, this attribute MUST be
+          initialized to false. It represents the <a>current user proximity
+          state</a>.
+        </p>
+        <p>
           When a <dfn>user agent</dfn> is required to <dfn>fire a user
           proximity event</dfn>, the <dfn>user agent</dfn> MUST run the
           following steps: