DO NOT SUBMIT UPSTREAM! proofgeneral 4.3pre131011