This site has moved to http://cti.itc.virginia.edu/classes/tcc401/proprevrules.html .
Please update your bookmarks!