adding readme for later synthesizing