diff --git a/computation/ex-1.2-a.tex b/computation/ex-1.2-a.tex
deleted file mode 100644
index cbb7f6c..0000000
--- a/computation/ex-1.2-a.tex
+++ /dev/null
@@ -1,30 +0,0 @@
-\documentclass{article}
-\begin{document}
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \emptyset & \emptyset & \{r,s,w\} & \{r,s,w\} & \{r,s,w\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{r\} & \emptyset & \{r\} & \{r,s,w\} & \{r,w\} & \{r,w\} \\ 
-2 & \{r\} & \{r,w\} & \{r,w\} & \{r,w\} & \{r,w\} & \{r,w\} \\ 
-3 & \{r,w\} & \{r,w\} & \{r,w\} & \{r,w\} & \{r,w\} & \{r,w\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \{s,w\} & \{s,w\} & \{s,w\} & \{r,s,w\} & \{s,w\} \\ 
-2 & \{s,w\} & \{s,w\} & \{s,w\} & \{s,w\} & \{s,w\} & \{s,w\} \\ 
-\end{array}
-\]
-\end{document}
diff --git a/computation/ex-1.2-b.tex b/computation/ex-1.2-b.tex
deleted file mode 100644
index d54a2bf..0000000
--- a/computation/ex-1.2-b.tex
+++ /dev/null
@@ -1,31 +0,0 @@
-\documentclass{article}
-\begin{document}
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \emptyset & \emptyset & \{c,d,l,m,s,t\} & \{c,d,l,m,s,t\} & \{c,d,l,m,s,t\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{s\} & \emptyset & \{s\} & \{c,d,l,m,s,t\} & \{c,m,s\} & \{c,m,s\} \\ 
-2 & \{s\} & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} \\ 
-3 & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} & \{c,m,s\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \{d,l,t\} & \{d,l,t\} & \{c,d,l,m,t\} & \{c,d,l,m,s,t\} & \{c,d,l,m,t\} \\ 
-2 & \{d,l,t\} & \{d,l,t\} & \{d,l,t\} & \{c,d,l,m,t\} & \{d,l,t\} & \{d,l,t\} \\ 
-3 & \{d,l,t\} & \{d,l,t\} & \{d,l,t\} & \{d,l,t\} & \{d,l,t\} & \{d,l,t\} \\ 
-\end{array}
-\]
-\end{document}
diff --git a/computation/ex-1.2-c.tex b/computation/ex-1.2-c.tex
deleted file mode 100644
index 416c436..0000000
--- a/computation/ex-1.2-c.tex
+++ /dev/null
@@ -1,50 +0,0 @@
-\documentclass{article}
-\begin{document}
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \emptyset & \emptyset & \{dr,pa,sa,sh,sk,sn\} & \{dr,pa,sa,sh,sk,sn\} & \{dr,pa,sa,sh,sk,sn\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{sh\} & \emptyset & \{sh\} & \{dr,pa,sa,sh,sk,sn\} & \{pa,sa,sh,sk,sn\} & \{pa,sa,sh,sk,sn\} \\ 
-2 & \{sh\} & \{sh\} & \{sh\} & \{pa,sa,sh,sk,sn\} & \{pa,sa,sh,sk,sn\} & \{pa,sa,sh,sk,sn\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \{dr,sa\} & \{dr,sa\} & \{dr,pa,sa,sk,sn\} & \{dr,pa,sa,sh,sk,sn\} & \{dr,pa,sa,sk,sn\} \\ 
-2 & \{dr,sa\} & \{dr,sa\} & \{dr,sa\} & \{dr,pa,sa,sk,sn\} & \{dr,sa\} & \{dr,sa\} \\ 
-3 & \{dr,sa\} & \{dr,sa\} & \{dr,sa\} & \{dr,sa\} & \{dr,sa\} & \{dr,sa\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{sh,sn\} & \{sh\} & \{sh,sn\} & \{pa,sa,sh,sk,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} \\ 
-2 & \{sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} \\ 
-3 & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} & \{pa,sh,sn\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{sh\} & \{sa,sh,sk\} & \{sa,sh,sk\} & \{pa,sa,sh,sk\} & \{pa,sa,sh,sk,sn\} & \{pa,sa,sh,sk\} \\ 
-2 & \{sa,sh,sk\} & \{sa,sh,sk\} & \{sa,sh,sk\} & \{pa,sa,sh,sk\} & \{sa,sh,sk\} & \{sa,sh,sk\} \\ 
-3 & \{sa,sh,sk\} & \{sa,sh,sk\} & \{sa,sh,sk\} & \{sa,sh,sk\} & \{sa,sh,sk\} & \{sa,sh,sk\} \\ 
-\end{array}
-\]
-\end{document}
diff --git a/computation/ex-1.2-c2.tex b/computation/ex-1.2-c2.tex
deleted file mode 100644
index 3fa33b6..0000000
--- a/computation/ex-1.2-c2.tex
+++ /dev/null
@@ -1,30 +0,0 @@
-\documentclass{article}
-\begin{document}
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \emptyset & \emptyset & \{dr,sa,sh,sn\} & \{dr,sa,sh,sn\} & \{dr,sa,sh,sn\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{sh\} & \emptyset & \{sh\} & \{dr,sa,sh,sn\} & \{sa,sh,sn\} & \{sa,sh,sn\} \\ 
-2 & \{sh\} & \{sh,sn\} & \{sh,sn\} & \{sa,sh,sn\} & \{sa,sh,sn\} & \{sa,sh,sn\} \\ 
-3 & \{sh,sn\} & \{sh,sn\} & \{sh,sn\} & \{sa,sh,sn\} & \{sh,sn\} & \{sh,sn\} \\ 
-4 & \{sh,sn\} & \{sh,sn\} & \{sh,sn\} & \{sh,sn\} & \{sh,sn\} & \{sh,sn\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \{dr,sa,sh,sn\} & \{dr,sa,sh,sn\} & \{dr,sa,sn\} & \{dr,sa,sh,sn\} & \{dr,sa,sn\} \\ 
-\end{array}
-\]
-\end{document}
diff --git a/computation/ex-1.2-d.tex b/computation/ex-1.2-d.tex
deleted file mode 100644
index e3bd2f4..0000000
--- a/computation/ex-1.2-d.tex
+++ /dev/null
@@ -1,31 +0,0 @@
-\documentclass{article}
-\begin{document}
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \emptyset & \emptyset & \{a,c,f,m,r,w\} & \{a,c,f,m,r,w\} & \{a,c,f,m,r,w\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \{c\} & \emptyset & \{c\} & \{a,c,f,m,r,w\} & \{c,m,r\} & \{c,m,r\} \\ 
-2 & \{c\} & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} \\ 
-3 & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} & \{c,m,r\} \\ 
-\end{array}
-\]
-
-\[
-\begin{array}{c@{\hspace{10pt}}llllll}
-& L' & \mathit{Cn}(P^{U'}) & L
-& U' & \mathit{Cn}(P^{L'}) & U \\\hline\\[-3mm]
-1 & \emptyset & \{a,f,w\} & \{a,f,w\} & \{a,f,m,r,w\} & \{a,c,f,m,r,w\} & \{a,f,m,r,w\} \\ 
-2 & \{a,f,w\} & \{a,f,w\} & \{a,f,w\} & \{a,f,m,r,w\} & \{a,f,w\} & \{a,f,w\} \\ 
-3 & \{a,f,w\} & \{a,f,w\} & \{a,f,w\} & \{a,f,w\} & \{a,f,w\} & \{a,f,w\} \\ 
-\end{array}
-\]
-\end{document}