Version 131105

 
Note: Be sure to make all proof comments directly in proofHQ