rewrote fifth proof