Updated proof text