Discussion: Does it Make Sense?
	600.436 High- Assurance Systems
				Fall 01/PCMS Exercise		9