RULE = always (RT imply not PAGEFAULT)