OpenBSD vs X
	Evaluating stacks of paper too hard.  CC & such standards require bizzare language
	TuringÕs halting problem.
	Mathematicians like proofs, but Òprovably secureÓ cryptosystems get attacked through some other angle.
	Cryptographers in fact rely on experiment, from Deep Crack to the sha1 demos last summer at crypto