Finished implementing push