adding our proof, adding readme, updating to the point of final submission