--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/draf.txt	Wed Jan 27 19:28:42 2016 +0800
@@ -0,0 +1,11 @@
+There are low priority threads, 
+which do not hold any resources, 
+such thread will not block th. 
+Theorem 3 does not exclude such threads.
+
+There are resources, which are not held by any low prioirty threads,
+such resources can not cause blockage of th neither. And similiary, 
+theorem 6 does not exlude them.
+
+Our one bound excudle them by using a different formaulation. 
+