From c57cb2e3a096032785bd48d2a599b63a3083a73f Mon Sep 17 00:00:00 2001
From: James Ray <16969914+jamesray1@users.noreply.github.com>
Date: Tue, 23 Jan 2018 17:32:12 +1100
Subject: [PATCH 1/3] 
 \hypertarget{normal_halting_function_H}{normal_halting_function_H}

---
 Paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index a477bb06..33223668 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -993,7 +993,7 @@ \subsubsection{Jump Destination Validity}
 N(i, w) \equiv \begin{cases}
 i + w - \text{\small PUSH1} + 2 & \text{if} \quad w \in [\text{\small PUSH1}, \text{\small PUSH32}] \\
 i + 1 & \text{otherwise} \end{cases}
-\end{equation}
+\end{equation}\hypertarget{normal_halting_function_H}{normal_halting_function_H}
 
 \subsubsection{Normal Halting}
 

From 23bd272daa4cf898481e598a0b6419b051d4705e Mon Sep 17 00:00:00 2001
From: James Ray <16969914+jamesray1@users.noreply.github.com>
Date: Thu, 25 Jan 2018 13:31:57 +1100
Subject: [PATCH 2/3] Change hypertarget caption to empty string
 normal_halting_function_H

---
 Paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index 33223668..06b44484 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -993,7 +993,7 @@ \subsubsection{Jump Destination Validity}
 N(i, w) \equiv \begin{cases}
 i + w - \text{\small PUSH1} + 2 & \text{if} \quad w \in [\text{\small PUSH1}, \text{\small PUSH32}] \\
 i + 1 & \text{otherwise} \end{cases}
-\end{equation}\hypertarget{normal_halting_function_H}{normal_halting_function_H}
+\end{equation}\hypertarget{normal_halting_function_H}{}
 
 \subsubsection{Normal Halting}
 

From fc702894736cfec82172c13aa4f66adfd9ae21fa Mon Sep 17 00:00:00 2001
From: James Ray <16969914+jamesray1@users.noreply.github.com>
Date: Tue, 30 Jan 2018 10:59:30 +1100
Subject: [PATCH 3/3] Move \hypertarget{normal_halting_function_H}{} move to
 the same line as the targeted text

---
 Paper.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Paper.tex b/Paper.tex
index 06b44484..804b1e00 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -993,9 +993,9 @@ \subsubsection{Jump Destination Validity}
 N(i, w) \equiv \begin{cases}
 i + w - \text{\small PUSH1} + 2 & \text{if} \quad w \in [\text{\small PUSH1}, \text{\small PUSH32}] \\
 i + 1 & \text{otherwise} \end{cases}
-\end{equation}\hypertarget{normal_halting_function_H}{}
+\end{equation}
 
-\subsubsection{Normal Halting}
+\subsubsection{Normal Halting}\hypertarget{normal_halting_function_H}{}
 
 The normal halting function $H$ is defined:
 \begin{equation}