06-11-2011 Vs Tornado's proofs - AlanKresse