Updated proof2