johnjosephhorton pushing garima's overleaf changes for jul7 draft incorporating jul4 t…