diff --git a/ntcir-10/paper.pdf b/ntcir-10/paper.pdf
index 4d64ad253aea557986f2d02d69be57b2164b85a5..9f6d405d25225d779cb58df6d984dbb77cd7fe67 100644
Binary files a/ntcir-10/paper.pdf and b/ntcir-10/paper.pdf differ
diff --git a/ntcir-10/paper.tex b/ntcir-10/paper.tex
index 18f856a8b211cb906b4a95cc7ef07e54de0612fb..a24a4a2beb9878626721227fb0fa077fb41cb7ff 100644
--- a/ntcir-10/paper.tex
+++ b/ntcir-10/paper.tex
@@ -238,7 +238,7 @@ co-occurring subterms.
 To see the full power of unification-based querying, consider a student who encounters
 $\int_{\mathbb{R}^2} |\sin(t)\cos(t)| dt$ and wishes to know if there are any mathematical
 statements (like theorems, identities, inequalities) that can be applied to it. Indeed,
-there are many such statements (for example H\"older's inequality) and they can be found
+there are many such statements (for example H\"older's inequality) and they can be founda
 using \textbf{generalization queries}. The idea behind answering generalization queries is
 that the index marks universal\footnote{We consider an identifier as universal if it can
   be instantiated without changing the truth value of the containing expression. In formal