diff --git a/index.html b/index.html
index 6439910..d3e4787 100644
--- a/index.html
+++ b/index.html
@@ -227,12 +227,24 @@ <h2>Implementer Overview</h2>
 			statements in <a href="#resolving"></a>.
 		</p>
 
+		<p>
+			A <dfn class="lint-ignore">conforming HTTPS-based DID resolver</dfn> is a
+			[=conforming DID resolver=] that additionally complies with the normative statements
+			in [[[#bindings-https]]].
+		</p>
+
 		<p>
 			A <dfn class="lint-ignore">conforming DID URL dereferencer</dfn> is any
 			algorithm realized as software and/or hardware that complies with the relevant
 			normative statements in <a href="#dereferencing"></a>.
 		</p>
 
+		<p>
+			A <dfn class="lint-ignore">conforming HTTPS-based DID URL dereferencer</dfn> is a
+			[=conforming DID URL dereferencer=] that additionally complies with the normative
+			statements in [[[#bindings-https]]].
+		</p>
+
 	</section>
 
 	<section class="informative">
@@ -464,7 +476,7 @@ <h1>DID Resolution</h1>
 		document</a> by using the "Read" operation of the applicable <a>DID method</a>
 		as described in <a data-cite="did-core#method-operations">Method Operations</a>.
 	</p>
-	<p>	All conforming <a>DID resolvers</a> implement the function below, which has the
+	<p>	All [=conforming DID resolvers=] implement the function below, which has the
 		following abstract form:
 	</p>
 
@@ -474,9 +486,12 @@ <h1>DID Resolution</h1>
       </pre>
 
 	<p>
-		All conformant <a>DID resolvers</a> MUST implement the <a>DID resolution</a>
+		All [=conforming DID resolvers=] MUST implement the <a>DID resolution</a>
 		function for at least one <a>DID method</a> and MUST be able to return a
-		<a>DID document</a> in at least one conformant <a>representation</a>.
+		<a>DID document</a> in at least one conformant <a>representation</a>. All 
+		inputs and outputs of the <code>resolve</code> function are MUST be serializable
+		to JSON.
+
 	</p>
 
 	<p>
@@ -1042,7 +1057,7 @@ <h1>DID URL Dereferencing</h1>
 	</div>
 
 	<p>
-		All conforming <a>DID URL dereferencers</a> implement the
+		All [=conforming DID URL dereferencers=] implement the
 		function below, which has the following abstract form:
 	</p>
 
@@ -1051,6 +1066,12 @@ <h1>DID URL Dereferencing</h1>
    « dereferencingMetadata, contentStream, contentMetadata »
       </pre>
 
+	<p>
+		All [=conforming DID URL dereferencers=] MUST implement the [=DID URL dereferencing=]
+		function for at least one [=DID method=]. All inputs and outputs of the <code>dereference</code> 
+		function apart from [=contentStream=] MUST be serializable to JSON.
+	</p>
+
 	<p>
 		The input variables of the <code>dereference</code> function are as follows:
 	</p>