Added readme, working on ZFC example for k-Markov result in LFKP