--- a/ChengsongTanPhdThesis/Chapters/Bitcoded2.tex	Sat Aug 20 23:49:17 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Bitcoded2.tex	Mon Aug 22 17:58:29 2022 +0100
@@ -659,3 +659,4 @@
 some sense, for exampe, not grinding to a halt at certain cases.
 In the next chapter we shall prove that for a given $r$, the internal derivative size is always
 finitely bounded by a constant.
+we would expect in the