diff --git a/doc/tmp.md b/doc/tmp.md
deleted file mode 100644
index b626386006e6a4e0913592ad978d6961b74a13bb..0000000000000000000000000000000000000000
--- a/doc/tmp.md
+++ /dev/null
@@ -1,101 +0,0 @@
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)
-1. - weighted $`H^k`$-norms (solutions of PDEs)