Thanks, Rob! I'll study your two new proofs and post later. I'm not real happy with my miz3 proof, and have a more direct argument which is longer. I'm hoping you have some good ideas on a better proof. Hey, could you read my miz3 proof, and do you have any comments about coding up proofs that way?
-- Best, Bill ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info